大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Colloquium on Microprocessor Applications in Marine Control Systems (1980) 的图书(共10948本)

Formal Techniques for Networked and Distributed Systems - FORTE 2005 [electronic resource] : 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005. Proceedings

0
索取号:
作者:Wang、 Farn.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Testing of Communicating Systems [electronic resource] : 17th IFIP TC6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June, 2005. Proceedings

0
索取号:
作者:Khendek、 Ferhat.、Dssouli、 Rachida.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Structural Information and Communication Complexity [electronic resource] : 12 International Colloquium, SIROCCO 2005, Mont Saint-Michel, France, May 24-26, 2005. Proceedings

0
索取号:
作者:Pelc、 Andrzej.、Raynal、 Michel.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Theoretical Aspects of Computing-ICTAC 2005 [electronic resource] : Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings

0
索取号:
作者:Hung、 Dang.、Wirsing、 Martin.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Multiagent Engineering [electronic resource] : Theory and Applications in Enterprises

0
索取号:
作者:Kirn、 Stefan.、Herzog、 Otthein.、Lockemann、 Peter.、Spaniol、 Otto.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Model Driven Engineering Languages and Systems [electronic resource] : 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005. Proceedings

0
索取号:
作者:Briand、 Lionel.、Williams、 Clay.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Advances in Cryptology-EUROCRYPT 2005 [electronic resource] : 24th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Aarhus, Denmark, May 22-26, 2005. Proceedings

0
索取号:
作者:Cramer、 Ronald.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Sequences and Their Applications - SETA 2004 [electronic resource] : Third International Conference, Seoul, Korea, October 24-28, 2004. Revised Selected Papers

0
索取号:
作者:Helleseth、 Tor.、Sarwate、 Dilip.、Song、 Hong-Yeop.、Yang、 Kyeongcheol.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Peer-to-Peer Systems and Applications [electronic resource]

0
索取号:
作者:Steinmetz、 Ralf.、Wehrle、 Klaus.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Advanced Concepts for Intelligent Vision Systems [electronic resource] : 7th International Conference, ACIVS 2005, Antwerp, Belgium, September 20-23, 2005. Proceedings

0
索取号:
作者:Blanc-Talon、 Jacques.、Philips、 Wilfried.、Popescu、 Dan.、Scheunders、 Paul.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Computational Science and Its Applications-ICCSA 2005 [electronic resource] : International Conference, Singapore, May 9-12, 2005, Proceedings, Part III

0
索取号:
作者:Gervasi、 Osvaldo.、Gavrilova、 Marina L.、Kumar、 Vipin.、Lagan脿、 Antonio.、Lee、 Heow Pueh.、Mun、 Youngsong.、Taniar、 David.、Tan、 Chih Jeng Kenneth.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Computational Science and Its Applications-ICCSA 2005 [electronic resource] : International Conference, Singapore, May 9-12, 2005, Proceedings, Part II

0
索取号:
作者:Gervasi、 Osvaldo.、Gavrilova、 Marina L.、Kumar、 Vipin.、Lagan脿、 Antonio.、Lee、 Heow Pueh.、Mun、 Youngsong.、Taniar、 David.、Tan、 Chih Jeng Kenneth.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Computational Science and Its Applications-ICCSA 2005 [electronic resource] : International Conference, Singapore, May 9-12, 2005, Proceedings, Part I

0
索取号:
作者:Gervasi、 Osvaldo.、Gavrilova、 Marina L.、Kumar、 Vipin.、Lagan脿、 Antonio.、Lee、 Heow Pueh.、Mun、 Youngsong.、Taniar、 David.、Tan、 Chih Jeng Kenneth.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Model-Based Testing of Reactive Systems [electronic resource] : Advanced Lectures

0
索取号:
作者:Broy、 Manfred.、Jonsson、 Bengt.、Katoen、 Joost-Pieter.、Leucker、 Martin.、Pretschner、 Alexander.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Term Rewriting and Applications [electronic resource] : 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005. Proceedings

0
索取号:
作者:Giesl、 J眉rgen.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Mobility Aware Technologies and Applications [electronic resource] : Second International Workshop, MATA 2005, Montreal, Canada, October 17-19, 2005. Proceedings

0
索取号:
作者:Magedanz、 Thomas.、Karmouch、 Ahmed.、Pierre、 Samuel.、Venieris、 Iakovos.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
最近添加的分类